Associated Data Type Family
だいたいAssociated Type Familyと同じ
default宣言ができないとかは異なる